The Polyhedral Model Definitions Operations on Polyhedra Quantifier Elimination and SMT solvers Last Words

Source URL: perso.ens-lyon.fr

Model Motion Unite against Fascism This union conference/region/branch notes that the BNP: • is a fascist, racist organisation that stands for an all white Britain, the destruction of trade unions and the elimination o

Source URL: www.zen26144.zen.co.uk

Logical Methods in Computer Science Vol. 11(3:7)2015, pp. 1–33 www.lmcs-online.org Submitted May 17, 2014 Published Sep. 3, 2015

Source URL: www.lix.polytechnique.fr

• Logic
• Mathematical logic
• Proof theory
• Abstraction
• Non-classical logic
• Logic in computer science
• Philosophical logic
• Model theory
• Sequent
• CurryHoward correspondence
• Intuitionistic logic
• Cut-elimination theorem

Auto-tuning the 27-point Stencil for Multicore Kaushik Datta2 , Samuel Williams1 , Vasily Volkov2 , Jonathan Carter1 , Leonid Oliker1 , John Shalf1 , and Katherine Yelick1 1 CRD/NERSC, Lawrence Berkeley National Laborat

Source URL: iwapt.org

• Compiler optimizations
• Computing
• Software engineering
• Software
• Loop nest optimization
• Stencil code
• Roofline model
• Stencil
• Program optimization
• Common subexpression elimination
• CPU cache
• Scalable locality

Learning Symmetric Relational Markov Random Fields A thesis submitted in partial fulfillment of the requirements for the degree of Master of Science by

Source URL: www.cs.huji.ac.il

• Graphical models
• Statistics
• Probability
• Statistical theory
• Variable elimination
• Markov random field
• Markov chain
• Belief propagation
• Conceptual model
• Bayesian network
• Deep learning

CADE-18 Workshop: Problems and Problem Sets Contents:  John Harrison Invited talk: Extracting Test Problems from Real Applications  J

Source URL: www.cs.miami.edu

• Automated theorem proving
• Theoretical computer science
• Mathematical logic
• Software engineering
• TPTP
• Automated reasoning
• SPASS
• Reasoning system
• Prolog
• Model elimination
• OMDoc
• System on TPTP

Focused and Synthetic Nested Sequents Kaustuv Chaudhuri, Sonia Marin, and Lutz Straßburger ´ Inria & LIX/Ecole polytechnique, France {kaustuv.chaudhuri,sonia.marin,lutz.strassburger}@inria.fr

Source URL: www.lix.polytechnique.fr

• Proof theory
• Non-classical logic
• Model theory
• Philosophical logic
• Deductive reasoning
• Sequent
• Cut-elimination theorem
• Soundness
• Linear logic
• Propositional calculus
• First-order logic
• Rule of inference

Solving Exists/Forall Problems With Yices Extended Abstract Bruno Dutertre Computer Science Laboratory SRI International

Source URL: yices.csl.sri.com

• Model theory
• Logic in computer science
• Semantics
• Formal languages
• Logical truth
• Satisfiability modulo theories
• Interpretation
• Quantifier elimination
• True quantified Boolean formula
• Quantifier
• Substitution
• Well-formed formula

Analysis and Transformation of Proof Procedures David Andre de Waal A thesis submitted to the University of Bristol in accordance with the requirements for the degree of Doctor of Philosophy in the Faculty of Engineeri

Source URL: repository.readscheme.org

• Automated theorem proving
• Logic in computer science
• Formal methods
• Theoretical computer science
• Prolog
• Logic programming
• Model elimination
• Mathematical logic
• E theorem prover
• First-order logic
• Lean theorem prover
• Automated reasoning

Auto-tuning the 27-point Stencil for Multicore Kaushik Datta2 , Samuel Williams1 , Vasily Volkov2 , Jonathan Carter1 , Leonid Oliker1 , John Shalf1 , and Katherine Yelick1 1 CRD/NERSC, Lawrence Berkeley National Laborat

Source URL: crd.lbl.gov

• Compiler optimizations
• Loop nest optimization
• Stencil code
• Roofline model
• Program optimization
• Stencil
• CPU cache
• Common subexpression elimination
• Scalable locality